type HelloWorld = string; // expected to be a string
